A System-Level Timing Analysis and Optimization Methodology for Hardware Compilation

نویسندگان

  • Girish Venkataramani
  • Seth C. Goldstein
چکیده

Electronic Design Automation (EDA) in the nano era faces a fresh set of challenges. Designs are getting larger and more complex, and design metrics are evolving from area and performance in the past to power and reliability in the future. In this changing landscape, the ITRS roadmap notes that it is imperative that we raise the level of abstraction in system-level design to deal with this increasing complexity, and look for reliable, manufacturing-friendly circuit architectures in order to overcome these challenges [1]. In my dissertation, I propose an optimization methodology based on system-level timing analysis, which can scale to large complex circuits. The system-level timing model allows the optimization phases to reason about global timing dependencies between circuit events [11], thereby enabling more efficient architectural design space exploration. Specifically, it computes a Global Critical Path (GCP), which traces a path through the circuit graph, indicating the most critical components in the execution. Unlike the traditional view of the critical path as an acyclic path between two clocked registers, the GCP is defined for the entire system, can cross register boundaries and can contain cycles. By computing the GCP, the optimization phases can then focus their efforts on the most important parts of the system, thus allowing us to handle large circuits without compromising efficiency, scalability or accuracy. This analysis and optimization methodology is depicted in Fig. 1, and has been incorporated into the CASH compiler (described below).

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

System-level Timing Analysis and Optimizations for Hardware Compilation

This dissertation presents a System-Level Timing Analysis (SLTA) methodology and a micro-architectural optimization framework for use within hardware compilation. As the EDA abstraction layer of preference is raised to Electronic System Level (ESL), the focus is on describing systems using Transaction Level Modeling (TLM) [CG03, Pas02, Ede06], which is amenable to high-level synthesis. The prop...

متن کامل

A co-synthesis approach to embedded system design automation

Embedded systems are targeted for speci c applications under constraints on relative timing of their actions. For such systems, use of predesigned reprogrammable components such as microprocessors provides an e ective way to reduce system cost by implementing part of the functionality as a program running on the processor. Dedicated hardware is often necessary to achieve requisite timing perfor...

متن کامل

Provably Correct Hardware Compilation using Timing Diagrams

In this article we present a framework within which hardware implementations are proven correct from speciications given in an OCCAM-like language called Handel by the use of a robust set of mathematical trans-formational laws. The semantical basis for Handel and its hardware implementations are simple functions of time which are called timing diagrams. This basis allows to denote the abstract ...

متن کامل

On the Difficulty of Building a Precise Timing Model for Real-Time Programming

For real-time computing it is important to know the worstcase execution time (WCET) of all time-critical software operations in order to ensure timeliness of the system. The calculation of a precise upper bound of the WCET relies on the availability of an adequate timing model of the target hardware. Within this article we explore the different mechanisms of modern processors that lead to compl...

متن کامل

AIOSC: Analytical Integer Word-length Optimization based on System Characteristics for Recursive Fixed-point LTI Systems

The integer word-length optimization known as range analysis (RA) of the fixed-point designs is a challenging problem in high level synthesis and optimization of linear-time-invariant (LTI) systems. The analysis has significant effects on the resource usage, accuracy and efficiency of the final implementation, as well as the optimization time. Conventional methods in recursive LTI systems suffe...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2007